//
// Created by Administrator on 25-1-19.
//
#include <stdio.h>

int main()
{
    printf("ss %d", 6 * 255 / 100);
}
